🐚 Bash Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·1d
📊Static Analysis
curl | sudo bash isn't a security issue (on Linux)
yawn.io·18h·
Discuss: Hacker News
🛡️CLI Security
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Building rust UEFI apps on Fedora
nullr0ute.com·1d
🦀Embedded Rust
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·14h·
Discuss: Hacker News
🌐Protocol Synthesis
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·12h·
Discuss: DEV
⚡Proof Automation
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·1d
🔗Functional Compilers
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·3d·
Discuss: Lobsters
🔗Concatenative Programming
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·21h
⬆️Lambda Lifting
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Come Try Out Piglet
arnebrasseur.net·2d·
Discuss: Hacker News
🔗Lisp
Week 31 Status
blogs.gnome.org·2d
🎯Gradual Typing
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·39m
🦀Rust Macros
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·1d
🛡️CLI Security
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·12h·
Discuss: Hacker News
💻Programming languages
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Understanding Stack Traces in Elixir
blog.appsignal.com·1d·
Discuss: Hacker News
🐚Shell Monads
Project goals update — July 2025
blog.rust-lang.org·2d
🦀Rust Macros